منابع مشابه
La Fase de Abstracción Conceptual en Reingeniería de Bases de Datos mediante Análisis de Conceptos Formales
La Reingeniería de Bases de Datos consiste, en primer lugar, en recuperar toda la información posible sobre la estructura de datos (conceptual, lógica y física) presente en una Base de Datos Legada (LDB) y en uno (o varios) Sistema Software Legado (LSS) para, posteriormente, rediseñar el esquema conceptual, transformar la LDB en la Base de datos Nueva (NDB) y el LSS en el Sistema Software Nuevo...
متن کاملAutomated Analysis of MUTEX Algorithms with FASE
In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFASs, a CCS-like process algebra with a specific operator for modelling non-blocking reading behaviours. Verification is carried out using the tool FASE, exploiting a correspondence between violations of the liveness property and a special kind of cycles (called catastrophic cycles) in some tra...
متن کاملPrima Facie Obligation
This paper presents a nonmonotonic deontic logic based on commonsense entailment. It establishes criteria a successful account of obligation should satisfy, and develops a theory that satisfies them. The theory includes two conditional notions of prima facie obligation. One is constitutive; the other is epistemic, and follows nonmonotonically from the constitutive notion. The paper defines unco...
متن کاملThe PRIMA Fringe Sensor Unit
Context. The Fringe Sensor Unit (FSU) is the central element of the Phase Referenced Imaging and Micro-arcsecond Astrometry (PRIMA) dual-feed facility and provides fringe sensing for all observation modes, comprising off-axis fringe tracking, phase referenced imaging, and high-accuracy narrow-angle astrometry. It is installed at the Very Large Telescope Interferometer (VLTI) and successfully se...
متن کاملFASE: Finding Amplitude-modulated Side-channel Emanations
While all computation can potentially generate electromagnetic (EM) side-channel signals, some of the strongest and farthest-propagating signals are created when an existing strong periodic signal (e.g. a clock signal) becomes stronger or weaker (amplitude-modulated) depending on processor or memory activity. However, modern systems create emanations at thousands of different frequencies, so it...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Valutazione dell’impatto dell’emergenza della COVID-19 sugli operatori e professionisti sanitari
سال: 2020
ISSN: 2612-1344
DOI: 10.36017/jahc2012-covid19-5